Designing a verifying compiler: Lessons learned from developing Whiley
نویسندگان
چکیده
Article history: Received 30 April 2014 Received in revised form 27 September 2015 Accepted 29 September 2015 Available online xxxx
منابع مشابه
Whiley: A Platform for Research in Software Verification
An ongoing challenge for computer science is the development of a tool which automatically verifies programs meet their specifications, and are free from runtime errors such as divide-by-zero, array out-of-bounds and null dereferences. Several impressive systems have been developed to this end, such as ESC/Java and Spec#, which build on existing programming languages (e.g. Java, C#). However, t...
متن کاملReflections on Verifying Software with Whiley
An ongoing challenge for computer science is the development of a tool which automatically verifies that programs meet their specifications, and are free from runtime errors such as divide-by-zero, array out-of-bounds and null dereferences. Several impressive systems have been developed to this end, such as ESC/Java and Spec#, which build on existing programming languages (e.g. Java, C#). Unfor...
متن کاملImportant Lessons Learned From Nearly a Half-Century of Orthopedic Practice
“Those who cannot remember the past are condemned to repeat it” [1]. The famous quote from Hispanic American philosopher George Santayana reminds us of the critical importance of constantly reflecting on the most important lessons garnered from both our own personal experiences and those of our peers. In 49 years of academic orthopedic practice, I have frequently reflected on the most important...
متن کاملLeaplist: lessons learned in designing tm-supported range queries Citation
We introduce Leap-List, a concurrent data-structure that is tailored to provide linearizable range queries. A lookup in Leap-List takes O(log n) and is comparable to a balanced binary search tree or to a skip-list. However, in Leap-List, each node holds up-to K immutable key-value pairs, so collecting a linearizable range is K times faster than the same operation performed non-linearizably on a...
متن کاملEnergy Code Enforcement and Compliance Evaluation: Comparative Lessons Learned from the U.S. and China, and Opportunities for India
Building energy codes are one of the most cost-effective tools to achieve energy efficiency in buildings. The key to realizing their full benefits is strong enforcement and compliance. Studies have shown that robust enforcement and a high compliance rate are critical to improve the energy performance of buildings and unlock deeper energy savings. However, few countries have mechanisms for measu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Sci. Comput. Program.
دوره 113 شماره
صفحات -
تاریخ انتشار 2015